<!DOCTYPE html>
<html xmlns="http://www.w3.org/1999/xhtml"><head><title>ATDGenerated__Jsonbug_j (infer.ATDGenerated__Jsonbug_j)</title><link rel="stylesheet" href="../../odoc.css"/><meta charset="utf-8"/><meta name="generator" content="odoc 1.5.2"/><meta name="viewport" content="width=device-width,initial-scale=1.0"/><script src="../../highlight.pack.js"></script><script>hljs.initHighlightingOnLoad();</script></head><body><div class="content"><header><nav><a href="../index.html">Up</a> – <a href="../index.html">infer</a> &#x00BB; ATDGenerated__Jsonbug_j</nav><h1>Module <code>ATDGenerated__Jsonbug_j</code></h1></header><dl><dt class="spec type" id="type-issue_method"><a href="#type-issue_method" class="anchor"></a><code><span class="keyword">type</span> issue_method</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-issue_method">ATDGenerated.Jsonbug_t.issue_method</a></code><code> = </code><code>{</code><table class="record"><tr id="type-issue_method.name" class="anchored"><td class="def field"><a href="#type-issue_method.name" class="anchor"></a><code>name : string;</code></td></tr><tr id="type-issue_method.params" class="anchored"><td class="def field"><a href="#type-issue_method.params" class="anchor"></a><code>params : <span>string list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-parameter_not_nullable_info"><a href="#type-parameter_not_nullable_info" class="anchor"></a><code><span class="keyword">type</span> parameter_not_nullable_info</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-parameter_not_nullable_info">ATDGenerated.Jsonbug_t.parameter_not_nullable_info</a></code><code> = </code><code>{</code><table class="record"><tr id="type-parameter_not_nullable_info.class_name" class="anchored"><td class="def field"><a href="#type-parameter_not_nullable_info.class_name" class="anchor"></a><code>class_name : string;</code></td></tr><tr id="type-parameter_not_nullable_info.package_name" class="anchored"><td class="def field"><a href="#type-parameter_not_nullable_info.package_name" class="anchor"></a><code>package_name : <span>string option</span>;</code></td></tr><tr id="type-parameter_not_nullable_info.method_info" class="anchored"><td class="def field"><a href="#type-parameter_not_nullable_info.method_info" class="anchor"></a><code>method_info : <a href="index.html#type-issue_method">issue_method</a>;</code></td></tr><tr id="type-parameter_not_nullable_info.param_index" class="anchored"><td class="def field"><a href="#type-parameter_not_nullable_info.param_index" class="anchor"></a><code>param_index : int;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-nullsafe_mode"><a href="#type-nullsafe_mode" class="anchor"></a><code><span class="keyword">type</span> nullsafe_mode</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-nullsafe_mode">ATDGenerated.Jsonbug_t.nullsafe_mode</a></code></dt><dt class="spec type" id="type-nullsafe_meta_issue_info"><a href="#type-nullsafe_meta_issue_info" class="anchor"></a><code><span class="keyword">type</span> nullsafe_meta_issue_info</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-nullsafe_meta_issue_info">ATDGenerated.Jsonbug_t.nullsafe_meta_issue_info</a></code><code> = </code><code>{</code><table class="record"><tr id="type-nullsafe_meta_issue_info.num_issues" class="anchored"><td class="def field"><a href="#type-nullsafe_meta_issue_info.num_issues" class="anchor"></a><code>num_issues : int;</code></td></tr><tr id="type-nullsafe_meta_issue_info.curr_nullsafe_mode" class="anchored"><td class="def field"><a href="#type-nullsafe_meta_issue_info.curr_nullsafe_mode" class="anchor"></a><code>curr_nullsafe_mode : <a href="index.html#type-nullsafe_mode">nullsafe_mode</a>;</code></td></tr><tr id="type-nullsafe_meta_issue_info.can_be_promoted_to" class="anchored"><td class="def field"><a href="#type-nullsafe_meta_issue_info.can_be_promoted_to" class="anchor"></a><code>can_be_promoted_to : <span><a href="index.html#type-nullsafe_mode">nullsafe_mode</a> option</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-method_info"><a href="#type-method_info" class="anchor"></a><code><span class="keyword">type</span> method_info</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-method_info">ATDGenerated.Jsonbug_t.method_info</a></code><code> = </code><code>{</code><table class="record"><tr id="type-method_info.class_name" class="anchored"><td class="def field"><a href="#type-method_info.class_name" class="anchor"></a><code>class_name : string;</code></td></tr><tr id="type-method_info.package" class="anchored"><td class="def field"><a href="#type-method_info.package" class="anchor"></a><code>package : string;</code></td></tr><tr id="type-method_info.method_name" class="anchored"><td class="def field"><a href="#type-method_info.method_name" class="anchor"></a><code>method_name : string;</code></td></tr><tr id="type-method_info.call_line" class="anchored"><td class="def field"><a href="#type-method_info.call_line" class="anchor"></a><code>call_line : int;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-field_name"><a href="#type-field_name" class="anchor"></a><code><span class="keyword">type</span> field_name</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-field_name">ATDGenerated.Jsonbug_t.field_name</a></code><code> = </code><code>{</code><table class="record"><tr id="type-field_name.class_name" class="anchored"><td class="def field"><a href="#type-field_name.class_name" class="anchor"></a><code>class_name : string;</code></td></tr><tr id="type-field_name.package_name" class="anchored"><td class="def field"><a href="#type-field_name.package_name" class="anchor"></a><code>package_name : <span>string option</span>;</code></td></tr><tr id="type-field_name.field" class="anchored"><td class="def field"><a href="#type-field_name.field" class="anchor"></a><code>field : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-access_level"><a href="#type-access_level" class="anchor"></a><code><span class="keyword">type</span> access_level</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-access_level">ATDGenerated.Jsonbug_t.access_level</a></code></dt><dt class="spec type" id="type-annotation_point_method"><a href="#type-annotation_point_method" class="anchor"></a><code><span class="keyword">type</span> annotation_point_method</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-annotation_point_method">ATDGenerated.Jsonbug_t.annotation_point_method</a></code><code> = </code><code>{</code><table class="record"><tr id="type-annotation_point_method.method_name" class="anchored"><td class="def field"><a href="#type-annotation_point_method.method_name" class="anchor"></a><code>method_name : string;</code></td></tr><tr id="type-annotation_point_method.params" class="anchored"><td class="def field"><a href="#type-annotation_point_method.params" class="anchor"></a><code>params : <span>string list</span>;</code></td></tr><tr id="type-annotation_point_method.access_level" class="anchored"><td class="def field"><a href="#type-annotation_point_method.access_level" class="anchor"></a><code>access_level : <a href="index.html#type-access_level">access_level</a>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-annotation_point_kind"><a href="#type-annotation_point_kind" class="anchor"></a><code><span class="keyword">type</span> annotation_point_kind</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-annotation_point_kind">ATDGenerated.Jsonbug_t.annotation_point_kind</a></code></dt><dt class="spec type" id="type-annotation_point"><a href="#type-annotation_point" class="anchor"></a><code><span class="keyword">type</span> annotation_point</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-annotation_point">ATDGenerated.Jsonbug_t.annotation_point</a></code><code> = </code><code>{</code><table class="record"><tr id="type-annotation_point.id" class="anchored"><td class="def field"><a href="#type-annotation_point.id" class="anchor"></a><code>id : string;</code></td></tr><tr id="type-annotation_point.kind" class="anchored"><td class="def field"><a href="#type-annotation_point.kind" class="anchor"></a><code>kind : <a href="index.html#type-annotation_point_kind">annotation_point_kind</a>;</code></td></tr><tr id="type-annotation_point.method_info" class="anchored"><td class="def field"><a href="#type-annotation_point.method_info" class="anchor"></a><code>method_info : <span><a href="index.html#type-annotation_point_method">annotation_point_method</a> option</span>;</code></td></tr><tr id="type-annotation_point.field_name" class="anchored"><td class="def field"><a href="#type-annotation_point.field_name" class="anchor"></a><code>field_name : <span>string option</span>;</code></td></tr><tr id="type-annotation_point.param_num" class="anchored"><td class="def field"><a href="#type-annotation_point.param_num" class="anchor"></a><code>param_num : <span>int option</span>;</code></td></tr><tr id="type-annotation_point.num_violations" class="anchored"><td class="def field"><a href="#type-annotation_point.num_violations" class="anchor"></a><code>num_violations : int;</code></td></tr><tr id="type-annotation_point.dependent_point_ids" class="anchored"><td class="def field"><a href="#type-annotation_point.dependent_point_ids" class="anchor"></a><code>dependent_point_ids : <span>string list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-nullsafe_extra"><a href="#type-nullsafe_extra" class="anchor"></a><code><span class="keyword">type</span> nullsafe_extra</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-nullsafe_extra">ATDGenerated.Jsonbug_t.nullsafe_extra</a></code><code> = </code><code>{</code><table class="record"><tr id="type-nullsafe_extra.class_name" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.class_name" class="anchor"></a><code>class_name : string;</code></td></tr><tr id="type-nullsafe_extra.package" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.package" class="anchor"></a><code>package : <span>string option</span>;</code></td></tr><tr id="type-nullsafe_extra.method_info" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.method_info" class="anchor"></a><code>method_info : <span><a href="index.html#type-issue_method">issue_method</a> option</span>;</code></td></tr><tr id="type-nullsafe_extra.field" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.field" class="anchor"></a><code>field : <span><a href="index.html#type-field_name">field_name</a> option</span>;</code></td></tr><tr id="type-nullsafe_extra.inconsistent_param_index" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.inconsistent_param_index" class="anchor"></a><code>inconsistent_param_index : <span>int option</span>;</code></td></tr><tr id="type-nullsafe_extra.parameter_not_nullable_info" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.parameter_not_nullable_info" class="anchor"></a><code>parameter_not_nullable_info : <span><a href="index.html#type-parameter_not_nullable_info">parameter_not_nullable_info</a> option</span>;</code></td></tr><tr id="type-nullsafe_extra.nullable_methods" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.nullable_methods" class="anchor"></a><code>nullable_methods : <span><span><a href="index.html#type-method_info">method_info</a> list</span> option</span>;</code></td></tr><tr id="type-nullsafe_extra.unvetted_3rd_party" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.unvetted_3rd_party" class="anchor"></a><code>unvetted_3rd_party : <span><span>string list</span> option</span>;</code></td></tr><tr id="type-nullsafe_extra.meta_issue_info" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.meta_issue_info" class="anchor"></a><code>meta_issue_info : <span><a href="index.html#type-nullsafe_meta_issue_info">nullsafe_meta_issue_info</a> option</span>;</code></td></tr><tr id="type-nullsafe_extra.annotation_graph" class="anchored"><td class="def field"><a href="#type-nullsafe_extra.annotation_graph" class="anchor"></a><code>annotation_graph : <span><span><a href="index.html#type-annotation_point">annotation_point</a> list</span> option</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-loc"><a href="#type-loc" class="anchor"></a><code><span class="keyword">type</span> loc</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-loc">ATDGenerated.Jsonbug_t.loc</a></code><code> = </code><code>{</code><table class="record"><tr id="type-loc.file" class="anchored"><td class="def field"><a href="#type-loc.file" class="anchor"></a><code>file : string;</code></td></tr><tr id="type-loc.lnum" class="anchored"><td class="def field"><a href="#type-loc.lnum" class="anchor"></a><code>lnum : int;</code></td></tr><tr id="type-loc.cnum" class="anchored"><td class="def field"><a href="#type-loc.cnum" class="anchor"></a><code>cnum : int;</code></td></tr><tr id="type-loc.enum" class="anchored"><td class="def field"><a href="#type-loc.enum" class="anchor"></a><code>enum : int;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-json_trace_item"><a href="#type-json_trace_item" class="anchor"></a><code><span class="keyword">type</span> json_trace_item</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-json_trace_item">ATDGenerated.Jsonbug_t.json_trace_item</a></code><code> = </code><code>{</code><table class="record"><tr id="type-json_trace_item.level" class="anchored"><td class="def field"><a href="#type-json_trace_item.level" class="anchor"></a><code>level : int;</code></td></tr><tr id="type-json_trace_item.filename" class="anchored"><td class="def field"><a href="#type-json_trace_item.filename" class="anchor"></a><code>filename : string;</code></td></tr><tr id="type-json_trace_item.line_number" class="anchored"><td class="def field"><a href="#type-json_trace_item.line_number" class="anchor"></a><code>line_number : int;</code></td></tr><tr id="type-json_trace_item.column_number" class="anchored"><td class="def field"><a href="#type-json_trace_item.column_number" class="anchor"></a><code>column_number : int;</code></td></tr><tr id="type-json_trace_item.description" class="anchored"><td class="def field"><a href="#type-json_trace_item.description" class="anchor"></a><code>description : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-extra"><a href="#type-extra" class="anchor"></a><code><span class="keyword">type</span> extra</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-extra">ATDGenerated.Jsonbug_t.extra</a></code><code> = </code><code>{</code><table class="record"><tr id="type-extra.cost_polynomial" class="anchored"><td class="def field"><a href="#type-extra.cost_polynomial" class="anchor"></a><code>cost_polynomial : <span>string option</span>;</code></td></tr><tr id="type-extra.cost_degree" class="anchored"><td class="def field"><a href="#type-extra.cost_degree" class="anchor"></a><code>cost_degree : <span>int option</span>;</code></td></tr><tr id="type-extra.nullsafe_extra" class="anchored"><td class="def field"><a href="#type-extra.nullsafe_extra" class="anchor"></a><code>nullsafe_extra : <span><a href="index.html#type-nullsafe_extra">nullsafe_extra</a> option</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-jsonbug"><a href="#type-jsonbug" class="anchor"></a><code><span class="keyword">type</span> jsonbug</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-jsonbug">ATDGenerated.Jsonbug_t.jsonbug</a></code><code> = </code><code>{</code><table class="record"><tr id="type-jsonbug.bug_type" class="anchored"><td class="def field"><a href="#type-jsonbug.bug_type" class="anchor"></a><code>bug_type : string;</code></td></tr><tr id="type-jsonbug.doc_url" class="anchored"><td class="def field"><a href="#type-jsonbug.doc_url" class="anchor"></a><code>doc_url : <span>string option</span>;</code></td></tr><tr id="type-jsonbug.qualifier" class="anchored"><td class="def field"><a href="#type-jsonbug.qualifier" class="anchor"></a><code>qualifier : string;</code></td></tr><tr id="type-jsonbug.severity" class="anchored"><td class="def field"><a href="#type-jsonbug.severity" class="anchor"></a><code>severity : string;</code></td></tr><tr id="type-jsonbug.line" class="anchored"><td class="def field"><a href="#type-jsonbug.line" class="anchor"></a><code>line : int;</code></td></tr><tr id="type-jsonbug.column" class="anchored"><td class="def field"><a href="#type-jsonbug.column" class="anchor"></a><code>column : int;</code></td></tr><tr id="type-jsonbug.procedure" class="anchored"><td class="def field"><a href="#type-jsonbug.procedure" class="anchor"></a><code>procedure : string;</code></td></tr><tr id="type-jsonbug.procedure_start_line" class="anchored"><td class="def field"><a href="#type-jsonbug.procedure_start_line" class="anchor"></a><code>procedure_start_line : int;</code></td></tr><tr id="type-jsonbug.file" class="anchored"><td class="def field"><a href="#type-jsonbug.file" class="anchor"></a><code>file : string;</code></td></tr><tr id="type-jsonbug.bug_trace" class="anchored"><td class="def field"><a href="#type-jsonbug.bug_trace" class="anchor"></a><code>bug_trace : <span><a href="index.html#type-json_trace_item">json_trace_item</a> list</span>;</code></td></tr><tr id="type-jsonbug.key" class="anchored"><td class="def field"><a href="#type-jsonbug.key" class="anchor"></a><code>key : string;</code></td></tr><tr id="type-jsonbug.node_key" class="anchored"><td class="def field"><a href="#type-jsonbug.node_key" class="anchor"></a><code>node_key : <span>string option</span>;</code></td></tr><tr id="type-jsonbug.hash" class="anchored"><td class="def field"><a href="#type-jsonbug.hash" class="anchor"></a><code>hash : string;</code></td></tr><tr id="type-jsonbug.dotty" class="anchored"><td class="def field"><a href="#type-jsonbug.dotty" class="anchor"></a><code>dotty : <span>string option</span>;</code></td></tr><tr id="type-jsonbug.infer_source_loc" class="anchored"><td class="def field"><a href="#type-jsonbug.infer_source_loc" class="anchor"></a><code>infer_source_loc : <span><a href="index.html#type-loc">loc</a> option</span>;</code></td></tr><tr id="type-jsonbug.bug_type_hum" class="anchored"><td class="def field"><a href="#type-jsonbug.bug_type_hum" class="anchor"></a><code>bug_type_hum : string;</code></td></tr><tr id="type-jsonbug.linters_def_file" class="anchored"><td class="def field"><a href="#type-jsonbug.linters_def_file" class="anchor"></a><code>linters_def_file : <span>string option</span>;</code></td></tr><tr id="type-jsonbug.traceview_id" class="anchored"><td class="def field"><a href="#type-jsonbug.traceview_id" class="anchor"></a><code>traceview_id : <span>int option</span>;</code></td></tr><tr id="type-jsonbug.censored_reason" class="anchored"><td class="def field"><a href="#type-jsonbug.censored_reason" class="anchor"></a><code>censored_reason : <span>string option</span>;</code></td></tr><tr id="type-jsonbug.access" class="anchored"><td class="def field"><a href="#type-jsonbug.access" class="anchor"></a><code>access : <span>string option</span>;</code></td></tr><tr id="type-jsonbug.extras" class="anchored"><td class="def field"><a href="#type-jsonbug.extras" class="anchor"></a><code>extras : <span><a href="index.html#type-extra">extra</a> option</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-report"><a href="#type-report" class="anchor"></a><code><span class="keyword">type</span> report</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-report">ATDGenerated.Jsonbug_t.report</a></code></dt><dt class="spec type" id="type-item"><a href="#type-item" class="anchor"></a><code><span class="keyword">type</span> item</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-item">ATDGenerated.Jsonbug_t.item</a></code><code> = </code><code>{</code><table class="record"><tr id="type-item.hash" class="anchored"><td class="def field"><a href="#type-item.hash" class="anchor"></a><code>hash : string;</code></td></tr><tr id="type-item.loc" class="anchored"><td class="def field"><a href="#type-item.loc" class="anchor"></a><code>loc : <a href="index.html#type-loc">loc</a>;</code></td></tr><tr id="type-item.procedure_name" class="anchored"><td class="def field"><a href="#type-item.procedure_name" class="anchor"></a><code>procedure_name : string;</code></td></tr><tr id="type-item.procedure_id" class="anchored"><td class="def field"><a href="#type-item.procedure_id" class="anchor"></a><code>procedure_id : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-hum_info"><a href="#type-hum_info" class="anchor"></a><code><span class="keyword">type</span> hum_info</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-hum_info">ATDGenerated.Jsonbug_t.hum_info</a></code><code> = </code><code>{</code><table class="record"><tr id="type-hum_info.hum_polynomial" class="anchored"><td class="def field"><a href="#type-hum_info.hum_polynomial" class="anchor"></a><code>hum_polynomial : string;</code></td></tr><tr id="type-hum_info.hum_degree" class="anchored"><td class="def field"><a href="#type-hum_info.hum_degree" class="anchor"></a><code>hum_degree : string;</code></td></tr><tr id="type-hum_info.big_o" class="anchored"><td class="def field"><a href="#type-hum_info.big_o" class="anchor"></a><code>big_o : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-cost_info"><a href="#type-cost_info" class="anchor"></a><code><span class="keyword">type</span> cost_info</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-cost_info">ATDGenerated.Jsonbug_t.cost_info</a></code><code> = </code><code>{</code><table class="record"><tr id="type-cost_info.polynomial_version" class="anchored"><td class="def field"><a href="#type-cost_info.polynomial_version" class="anchor"></a><code>polynomial_version : int;</code></td></tr><tr id="type-cost_info.polynomial" class="anchored"><td class="def field"><a href="#type-cost_info.polynomial" class="anchor"></a><code>polynomial : string;</code></td></tr><tr id="type-cost_info.degree" class="anchored"><td class="def field"><a href="#type-cost_info.degree" class="anchor"></a><code>degree : <span>int option</span>;</code></td></tr><tr id="type-cost_info.hum" class="anchored"><td class="def field"><a href="#type-cost_info.hum" class="anchor"></a><code>hum : <a href="index.html#type-hum_info">hum_info</a>;</code></td></tr><tr id="type-cost_info.trace" class="anchored"><td class="def field"><a href="#type-cost_info.trace" class="anchor"></a><code>trace : <span><a href="index.html#type-json_trace_item">json_trace_item</a> list</span>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-cost_item"><a href="#type-cost_item" class="anchor"></a><code><span class="keyword">type</span> cost_item</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-cost_item">ATDGenerated.Jsonbug_t.cost_item</a></code><code> = </code><code>{</code><table class="record"><tr id="type-cost_item.hash" class="anchored"><td class="def field"><a href="#type-cost_item.hash" class="anchor"></a><code>hash : string;</code></td></tr><tr id="type-cost_item.loc" class="anchored"><td class="def field"><a href="#type-cost_item.loc" class="anchor"></a><code>loc : <a href="index.html#type-loc">loc</a>;</code></td></tr><tr id="type-cost_item.procedure_name" class="anchored"><td class="def field"><a href="#type-cost_item.procedure_name" class="anchor"></a><code>procedure_name : string;</code></td></tr><tr id="type-cost_item.procedure_id" class="anchored"><td class="def field"><a href="#type-cost_item.procedure_id" class="anchor"></a><code>procedure_id : string;</code></td></tr><tr id="type-cost_item.is_on_ui_thread" class="anchored"><td class="def field"><a href="#type-cost_item.is_on_ui_thread" class="anchor"></a><code>is_on_ui_thread : bool;</code></td></tr><tr id="type-cost_item.exec_cost" class="anchored"><td class="def field"><a href="#type-cost_item.exec_cost" class="anchor"></a><code>exec_cost : <a href="index.html#type-cost_info">cost_info</a>;</code></td></tr><tr id="type-cost_item.autoreleasepool_size" class="anchored"><td class="def field"><a href="#type-cost_item.autoreleasepool_size" class="anchor"></a><code>autoreleasepool_size : <a href="index.html#type-cost_info">cost_info</a>;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-costs_report"><a href="#type-costs_report" class="anchor"></a><code><span class="keyword">type</span> costs_report</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-costs_report">ATDGenerated.Jsonbug_t.costs_report</a></code></dt><dt class="spec type" id="type-config_impact_item"><a href="#type-config_impact_item" class="anchor"></a><code><span class="keyword">type</span> config_impact_item</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-config_impact_item">ATDGenerated.Jsonbug_t.config_impact_item</a></code><code> = </code><code>{</code><table class="record"><tr id="type-config_impact_item.hash" class="anchored"><td class="def field"><a href="#type-config_impact_item.hash" class="anchor"></a><code>hash : string;</code></td></tr><tr id="type-config_impact_item.loc" class="anchored"><td class="def field"><a href="#type-config_impact_item.loc" class="anchor"></a><code>loc : <a href="index.html#type-loc">loc</a>;</code></td></tr><tr id="type-config_impact_item.procedure_name" class="anchored"><td class="def field"><a href="#type-config_impact_item.procedure_name" class="anchor"></a><code>procedure_name : string;</code></td></tr><tr id="type-config_impact_item.procedure_id" class="anchored"><td class="def field"><a href="#type-config_impact_item.procedure_id" class="anchor"></a><code>procedure_id : string;</code></td></tr><tr id="type-config_impact_item.unchecked_callees" class="anchored"><td class="def field"><a href="#type-config_impact_item.unchecked_callees" class="anchor"></a><code>unchecked_callees : string;</code></td></tr></table><code>}</code></dt><dt class="spec type" id="type-config_impact_report"><a href="#type-config_impact_report" class="anchor"></a><code><span class="keyword">type</span> config_impact_report</code><code> = <a href="../ATDGenerated/Jsonbug_t/index.html#type-config_impact_report">ATDGenerated.Jsonbug_t.config_impact_report</a></code></dt></dl><dl><dt class="spec value" id="val-write_issue_method"><a href="#val-write_issue_method" class="anchor"></a><code><span class="keyword">val</span> write_issue_method : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-issue_method">issue_method</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-issue_method"><code>issue_method</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_issue_method"><a href="#val-string_of_issue_method" class="anchor"></a><code><span class="keyword">val</span> string_of_issue_method : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-issue_method">issue_method</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-issue_method"><code>issue_method</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_issue_method"><a href="#val-read_issue_method" class="anchor"></a><code><span class="keyword">val</span> read_issue_method : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-issue_method">issue_method</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-issue_method"><code>issue_method</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-issue_method_of_string"><a href="#val-issue_method_of_string" class="anchor"></a><code><span class="keyword">val</span> issue_method_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-issue_method">issue_method</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-issue_method"><code>issue_method</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_parameter_not_nullable_info"><a href="#val-write_parameter_not_nullable_info" class="anchor"></a><code><span class="keyword">val</span> write_parameter_not_nullable_info : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-parameter_not_nullable_info">parameter_not_nullable_info</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-parameter_not_nullable_info"><code>parameter_not_nullable_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_parameter_not_nullable_info"><a href="#val-string_of_parameter_not_nullable_info" class="anchor"></a><code><span class="keyword">val</span> string_of_parameter_not_nullable_info : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-parameter_not_nullable_info">parameter_not_nullable_info</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-parameter_not_nullable_info"><code>parameter_not_nullable_info</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_parameter_not_nullable_info"><a href="#val-read_parameter_not_nullable_info" class="anchor"></a><code><span class="keyword">val</span> read_parameter_not_nullable_info : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-parameter_not_nullable_info">parameter_not_nullable_info</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-parameter_not_nullable_info"><code>parameter_not_nullable_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-parameter_not_nullable_info_of_string"><a href="#val-parameter_not_nullable_info_of_string" class="anchor"></a><code><span class="keyword">val</span> parameter_not_nullable_info_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-parameter_not_nullable_info">parameter_not_nullable_info</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-parameter_not_nullable_info"><code>parameter_not_nullable_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_nullsafe_mode"><a href="#val-write_nullsafe_mode" class="anchor"></a><code><span class="keyword">val</span> write_nullsafe_mode : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_mode">nullsafe_mode</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-nullsafe_mode"><code>nullsafe_mode</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_nullsafe_mode"><a href="#val-string_of_nullsafe_mode" class="anchor"></a><code><span class="keyword">val</span> string_of_nullsafe_mode : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_mode">nullsafe_mode</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-nullsafe_mode"><code>nullsafe_mode</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_nullsafe_mode"><a href="#val-read_nullsafe_mode" class="anchor"></a><code><span class="keyword">val</span> read_nullsafe_mode : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_mode">nullsafe_mode</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-nullsafe_mode"><code>nullsafe_mode</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-nullsafe_mode_of_string"><a href="#val-nullsafe_mode_of_string" class="anchor"></a><code><span class="keyword">val</span> nullsafe_mode_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_mode">nullsafe_mode</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-nullsafe_mode"><code>nullsafe_mode</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_nullsafe_meta_issue_info"><a href="#val-write_nullsafe_meta_issue_info" class="anchor"></a><code><span class="keyword">val</span> write_nullsafe_meta_issue_info : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_meta_issue_info">nullsafe_meta_issue_info</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-nullsafe_meta_issue_info"><code>nullsafe_meta_issue_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_nullsafe_meta_issue_info"><a href="#val-string_of_nullsafe_meta_issue_info" class="anchor"></a><code><span class="keyword">val</span> string_of_nullsafe_meta_issue_info : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_meta_issue_info">nullsafe_meta_issue_info</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-nullsafe_meta_issue_info"><code>nullsafe_meta_issue_info</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_nullsafe_meta_issue_info"><a href="#val-read_nullsafe_meta_issue_info" class="anchor"></a><code><span class="keyword">val</span> read_nullsafe_meta_issue_info : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_meta_issue_info">nullsafe_meta_issue_info</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-nullsafe_meta_issue_info"><code>nullsafe_meta_issue_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-nullsafe_meta_issue_info_of_string"><a href="#val-nullsafe_meta_issue_info_of_string" class="anchor"></a><code><span class="keyword">val</span> nullsafe_meta_issue_info_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_meta_issue_info">nullsafe_meta_issue_info</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-nullsafe_meta_issue_info"><code>nullsafe_meta_issue_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_method_info"><a href="#val-write_method_info" class="anchor"></a><code><span class="keyword">val</span> write_method_info : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-method_info">method_info</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-parameter_not_nullable_info.method_info"><code>method_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_method_info"><a href="#val-string_of_method_info" class="anchor"></a><code><span class="keyword">val</span> string_of_method_info : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-method_info">method_info</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-parameter_not_nullable_info.method_info"><code>method_info</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_method_info"><a href="#val-read_method_info" class="anchor"></a><code><span class="keyword">val</span> read_method_info : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-method_info">method_info</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-parameter_not_nullable_info.method_info"><code>method_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-method_info_of_string"><a href="#val-method_info_of_string" class="anchor"></a><code><span class="keyword">val</span> method_info_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-method_info">method_info</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-parameter_not_nullable_info.method_info"><code>method_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_field_name"><a href="#val-write_field_name" class="anchor"></a><code><span class="keyword">val</span> write_field_name : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-field_name">field_name</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-field_name"><code>field_name</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_field_name"><a href="#val-string_of_field_name" class="anchor"></a><code><span class="keyword">val</span> string_of_field_name : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-field_name">field_name</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-field_name"><code>field_name</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_field_name"><a href="#val-read_field_name" class="anchor"></a><code><span class="keyword">val</span> read_field_name : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-field_name">field_name</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-field_name"><code>field_name</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-field_name_of_string"><a href="#val-field_name_of_string" class="anchor"></a><code><span class="keyword">val</span> field_name_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-field_name">field_name</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-field_name"><code>field_name</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_access_level"><a href="#val-write_access_level" class="anchor"></a><code><span class="keyword">val</span> write_access_level : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-access_level">access_level</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-access_level"><code>access_level</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_access_level"><a href="#val-string_of_access_level" class="anchor"></a><code><span class="keyword">val</span> string_of_access_level : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-access_level">access_level</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-access_level"><code>access_level</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_access_level"><a href="#val-read_access_level" class="anchor"></a><code><span class="keyword">val</span> read_access_level : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-access_level">access_level</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-access_level"><code>access_level</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-access_level_of_string"><a href="#val-access_level_of_string" class="anchor"></a><code><span class="keyword">val</span> access_level_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-access_level">access_level</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-access_level"><code>access_level</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_annotation_point_method"><a href="#val-write_annotation_point_method" class="anchor"></a><code><span class="keyword">val</span> write_annotation_point_method : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_method">annotation_point_method</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-annotation_point_method"><code>annotation_point_method</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_annotation_point_method"><a href="#val-string_of_annotation_point_method" class="anchor"></a><code><span class="keyword">val</span> string_of_annotation_point_method : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_method">annotation_point_method</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-annotation_point_method"><code>annotation_point_method</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_annotation_point_method"><a href="#val-read_annotation_point_method" class="anchor"></a><code><span class="keyword">val</span> read_annotation_point_method : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_method">annotation_point_method</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-annotation_point_method"><code>annotation_point_method</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-annotation_point_method_of_string"><a href="#val-annotation_point_method_of_string" class="anchor"></a><code><span class="keyword">val</span> annotation_point_method_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_method">annotation_point_method</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-annotation_point_method"><code>annotation_point_method</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_annotation_point_kind"><a href="#val-write_annotation_point_kind" class="anchor"></a><code><span class="keyword">val</span> write_annotation_point_kind : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_kind">annotation_point_kind</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-annotation_point_kind"><code>annotation_point_kind</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_annotation_point_kind"><a href="#val-string_of_annotation_point_kind" class="anchor"></a><code><span class="keyword">val</span> string_of_annotation_point_kind : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_kind">annotation_point_kind</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-annotation_point_kind"><code>annotation_point_kind</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_annotation_point_kind"><a href="#val-read_annotation_point_kind" class="anchor"></a><code><span class="keyword">val</span> read_annotation_point_kind : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_kind">annotation_point_kind</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-annotation_point_kind"><code>annotation_point_kind</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-annotation_point_kind_of_string"><a href="#val-annotation_point_kind_of_string" class="anchor"></a><code><span class="keyword">val</span> annotation_point_kind_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-annotation_point_kind">annotation_point_kind</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-annotation_point_kind"><code>annotation_point_kind</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_annotation_point"><a href="#val-write_annotation_point" class="anchor"></a><code><span class="keyword">val</span> write_annotation_point : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-annotation_point">annotation_point</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-annotation_point"><code>annotation_point</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_annotation_point"><a href="#val-string_of_annotation_point" class="anchor"></a><code><span class="keyword">val</span> string_of_annotation_point : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-annotation_point">annotation_point</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-annotation_point"><code>annotation_point</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_annotation_point"><a href="#val-read_annotation_point" class="anchor"></a><code><span class="keyword">val</span> read_annotation_point : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-annotation_point">annotation_point</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-annotation_point"><code>annotation_point</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-annotation_point_of_string"><a href="#val-annotation_point_of_string" class="anchor"></a><code><span class="keyword">val</span> annotation_point_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-annotation_point">annotation_point</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-annotation_point"><code>annotation_point</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_nullsafe_extra"><a href="#val-write_nullsafe_extra" class="anchor"></a><code><span class="keyword">val</span> write_nullsafe_extra : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_extra">nullsafe_extra</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-nullsafe_extra"><code>nullsafe_extra</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_nullsafe_extra"><a href="#val-string_of_nullsafe_extra" class="anchor"></a><code><span class="keyword">val</span> string_of_nullsafe_extra : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_extra">nullsafe_extra</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-nullsafe_extra"><code>nullsafe_extra</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_nullsafe_extra"><a href="#val-read_nullsafe_extra" class="anchor"></a><code><span class="keyword">val</span> read_nullsafe_extra : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_extra">nullsafe_extra</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-nullsafe_extra"><code>nullsafe_extra</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-nullsafe_extra_of_string"><a href="#val-nullsafe_extra_of_string" class="anchor"></a><code><span class="keyword">val</span> nullsafe_extra_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-nullsafe_extra">nullsafe_extra</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-nullsafe_extra"><code>nullsafe_extra</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_loc"><a href="#val-write_loc" class="anchor"></a><code><span class="keyword">val</span> write_loc : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-loc">loc</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-loc"><code>loc</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_loc"><a href="#val-string_of_loc" class="anchor"></a><code><span class="keyword">val</span> string_of_loc : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-loc">loc</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-loc"><code>loc</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_loc"><a href="#val-read_loc" class="anchor"></a><code><span class="keyword">val</span> read_loc : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-loc">loc</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-loc"><code>loc</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-loc_of_string"><a href="#val-loc_of_string" class="anchor"></a><code><span class="keyword">val</span> loc_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-loc">loc</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-loc"><code>loc</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_json_trace_item"><a href="#val-write_json_trace_item" class="anchor"></a><code><span class="keyword">val</span> write_json_trace_item : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-json_trace_item">json_trace_item</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-json_trace_item"><code>json_trace_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_json_trace_item"><a href="#val-string_of_json_trace_item" class="anchor"></a><code><span class="keyword">val</span> string_of_json_trace_item : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-json_trace_item">json_trace_item</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-json_trace_item"><code>json_trace_item</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_json_trace_item"><a href="#val-read_json_trace_item" class="anchor"></a><code><span class="keyword">val</span> read_json_trace_item : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-json_trace_item">json_trace_item</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-json_trace_item"><code>json_trace_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-json_trace_item_of_string"><a href="#val-json_trace_item_of_string" class="anchor"></a><code><span class="keyword">val</span> json_trace_item_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-json_trace_item">json_trace_item</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-json_trace_item"><code>json_trace_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_extra"><a href="#val-write_extra" class="anchor"></a><code><span class="keyword">val</span> write_extra : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-extra">extra</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-extra"><code>extra</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_extra"><a href="#val-string_of_extra" class="anchor"></a><code><span class="keyword">val</span> string_of_extra : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-extra">extra</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-extra"><code>extra</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_extra"><a href="#val-read_extra" class="anchor"></a><code><span class="keyword">val</span> read_extra : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-extra">extra</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-extra"><code>extra</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-extra_of_string"><a href="#val-extra_of_string" class="anchor"></a><code><span class="keyword">val</span> extra_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-extra">extra</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-extra"><code>extra</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_jsonbug"><a href="#val-write_jsonbug" class="anchor"></a><code><span class="keyword">val</span> write_jsonbug : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-jsonbug">jsonbug</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-jsonbug"><code>jsonbug</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_jsonbug"><a href="#val-string_of_jsonbug" class="anchor"></a><code><span class="keyword">val</span> string_of_jsonbug : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-jsonbug">jsonbug</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-jsonbug"><code>jsonbug</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_jsonbug"><a href="#val-read_jsonbug" class="anchor"></a><code><span class="keyword">val</span> read_jsonbug : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-jsonbug">jsonbug</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-jsonbug"><code>jsonbug</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-jsonbug_of_string"><a href="#val-jsonbug_of_string" class="anchor"></a><code><span class="keyword">val</span> jsonbug_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-jsonbug">jsonbug</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-jsonbug"><code>jsonbug</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_report"><a href="#val-write_report" class="anchor"></a><code><span class="keyword">val</span> write_report : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-report">report</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-report"><code>report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_report"><a href="#val-string_of_report" class="anchor"></a><code><span class="keyword">val</span> string_of_report : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-report">report</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-report"><code>report</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_report"><a href="#val-read_report" class="anchor"></a><code><span class="keyword">val</span> read_report : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-report">report</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-report"><code>report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-report_of_string"><a href="#val-report_of_string" class="anchor"></a><code><span class="keyword">val</span> report_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-report">report</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-report"><code>report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_item"><a href="#val-write_item" class="anchor"></a><code><span class="keyword">val</span> write_item : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-item">item</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-item"><code>item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_item"><a href="#val-string_of_item" class="anchor"></a><code><span class="keyword">val</span> string_of_item : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-item">item</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-item"><code>item</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_item"><a href="#val-read_item" class="anchor"></a><code><span class="keyword">val</span> read_item : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-item">item</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-item"><code>item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-item_of_string"><a href="#val-item_of_string" class="anchor"></a><code><span class="keyword">val</span> item_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-item">item</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-item"><code>item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_hum_info"><a href="#val-write_hum_info" class="anchor"></a><code><span class="keyword">val</span> write_hum_info : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-hum_info">hum_info</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-hum_info"><code>hum_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_hum_info"><a href="#val-string_of_hum_info" class="anchor"></a><code><span class="keyword">val</span> string_of_hum_info : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-hum_info">hum_info</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-hum_info"><code>hum_info</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_hum_info"><a href="#val-read_hum_info" class="anchor"></a><code><span class="keyword">val</span> read_hum_info : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-hum_info">hum_info</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-hum_info"><code>hum_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-hum_info_of_string"><a href="#val-hum_info_of_string" class="anchor"></a><code><span class="keyword">val</span> hum_info_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-hum_info">hum_info</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-hum_info"><code>hum_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_cost_info"><a href="#val-write_cost_info" class="anchor"></a><code><span class="keyword">val</span> write_cost_info : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-cost_info">cost_info</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-cost_info"><code>cost_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_cost_info"><a href="#val-string_of_cost_info" class="anchor"></a><code><span class="keyword">val</span> string_of_cost_info : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-cost_info">cost_info</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-cost_info"><code>cost_info</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_cost_info"><a href="#val-read_cost_info" class="anchor"></a><code><span class="keyword">val</span> read_cost_info : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-cost_info">cost_info</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-cost_info"><code>cost_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-cost_info_of_string"><a href="#val-cost_info_of_string" class="anchor"></a><code><span class="keyword">val</span> cost_info_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-cost_info">cost_info</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-cost_info"><code>cost_info</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_cost_item"><a href="#val-write_cost_item" class="anchor"></a><code><span class="keyword">val</span> write_cost_item : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-cost_item">cost_item</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-cost_item"><code>cost_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_cost_item"><a href="#val-string_of_cost_item" class="anchor"></a><code><span class="keyword">val</span> string_of_cost_item : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-cost_item">cost_item</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-cost_item"><code>cost_item</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_cost_item"><a href="#val-read_cost_item" class="anchor"></a><code><span class="keyword">val</span> read_cost_item : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-cost_item">cost_item</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-cost_item"><code>cost_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-cost_item_of_string"><a href="#val-cost_item_of_string" class="anchor"></a><code><span class="keyword">val</span> cost_item_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-cost_item">cost_item</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-cost_item"><code>cost_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_costs_report"><a href="#val-write_costs_report" class="anchor"></a><code><span class="keyword">val</span> write_costs_report : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-costs_report">costs_report</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-costs_report"><code>costs_report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_costs_report"><a href="#val-string_of_costs_report" class="anchor"></a><code><span class="keyword">val</span> string_of_costs_report : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-costs_report">costs_report</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-costs_report"><code>costs_report</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_costs_report"><a href="#val-read_costs_report" class="anchor"></a><code><span class="keyword">val</span> read_costs_report : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-costs_report">costs_report</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-costs_report"><code>costs_report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-costs_report_of_string"><a href="#val-costs_report_of_string" class="anchor"></a><code><span class="keyword">val</span> costs_report_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-costs_report">costs_report</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-costs_report"><code>costs_report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_config_impact_item"><a href="#val-write_config_impact_item" class="anchor"></a><code><span class="keyword">val</span> write_config_impact_item : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-config_impact_item">config_impact_item</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-config_impact_item"><code>config_impact_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_config_impact_item"><a href="#val-string_of_config_impact_item" class="anchor"></a><code><span class="keyword">val</span> string_of_config_impact_item : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-config_impact_item">config_impact_item</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-config_impact_item"><code>config_impact_item</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_config_impact_item"><a href="#val-read_config_impact_item" class="anchor"></a><code><span class="keyword">val</span> read_config_impact_item : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-config_impact_item">config_impact_item</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-config_impact_item"><code>config_impact_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-config_impact_item_of_string"><a href="#val-config_impact_item_of_string" class="anchor"></a><code><span class="keyword">val</span> config_impact_item_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-config_impact_item">config_impact_item</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-config_impact_item"><code>config_impact_item</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-write_config_impact_report"><a href="#val-write_config_impact_report" class="anchor"></a><code><span class="keyword">val</span> write_config_impact_report : Bi_outbuf.t <span>&#45;&gt;</span> <a href="index.html#type-config_impact_report">config_impact_report</a> <span>&#45;&gt;</span> unit</code></dt><dd><p>Output a JSON value of type <a href="index.html#type-config_impact_report"><code>config_impact_report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-string_of_config_impact_report"><a href="#val-string_of_config_impact_report" class="anchor"></a><code><span class="keyword">val</span> string_of_config_impact_report : <span>?&#8288;len:int</span> <span>&#45;&gt;</span> <a href="index.html#type-config_impact_report">config_impact_report</a> <span>&#45;&gt;</span> string</code></dt><dd><p>Serialize a value of type <a href="index.html#type-config_impact_report"><code>config_impact_report</code></a> into a JSON string.</p><dl><dt>parameter len</dt><dd><p>specifies the initial length of the buffer used internally. Default: 1024.</p></dd></dl></dd></dl><dl><dt class="spec value" id="val-read_config_impact_report"><a href="#val-read_config_impact_report" class="anchor"></a><code><span class="keyword">val</span> read_config_impact_report : Yojson.Safe.lexer_state <span>&#45;&gt;</span> Stdlib.Lexing.lexbuf <span>&#45;&gt;</span> <a href="index.html#type-config_impact_report">config_impact_report</a></code></dt><dd><p>Input JSON data of type <a href="index.html#type-config_impact_report"><code>config_impact_report</code></a>.</p></dd></dl><dl><dt class="spec value" id="val-config_impact_report_of_string"><a href="#val-config_impact_report_of_string" class="anchor"></a><code><span class="keyword">val</span> config_impact_report_of_string : string <span>&#45;&gt;</span> <a href="index.html#type-config_impact_report">config_impact_report</a></code></dt><dd><p>Deserialize JSON data of type <a href="index.html#type-config_impact_report"><code>config_impact_report</code></a>.</p></dd></dl></div></body></html>